Dimension theory and parameterized normalization for D-semianalytic sets over non-Archimedean fields
نویسنده
چکیده
We develop a dimension theory for D-semianalytic sets over an arbitrary non-Archimedean complete field. Our main results are the equivalence of several notions of dimension and a theorem on additivity of dimensions of projections and fibers in characteristic 0. We also prove a parameterized version of normalization for D-semianalytic
منابع مشابه
Parameterized Stratification and Piece Number of D-semianalytic Sets
We obtain results on the geometry of D-semianalytic and subanalytic sets over a complete, non-trivially valued non-Archimedean field K, which is not necessarily algebraically closed. Among the results are the Parameterized Smooth Stratification Theorem and several results concerning the dimension theory of D-semianalytic and subanalytic sets. Also, an extension of Bartenwerfer’s definition of p...
متن کاملOn some definable sets over fields with analytic structure
We discover geometric properties of certain definable sets over non-Archimedean valued fields with analytic structures. Results include a parameterized smooth stratification theorem and the existence of a bound on the piece number of fibers for these sets. In addition, we develop a dimension theory for these sets and also for the formulas which define them.
متن کاملQuantifier elimination for the theory of algebraically closed valued fields with analytic structure
The theory of algebraically closed non-Archimedean valued fields is proved to eliminate quantifiers in an analytic language similar to the one used by Cluckers, Lipshitz and Robinson. The proof makes use of a uniform parameterized normalization theorem which is also proved in this paper and which has far reaching consequences in the geometry of definable sets. This method of proving quantifier ...
متن کاملUniform Properties of Rigid Subanalytic Sets
In the context of rigid analytic spaces over a non-Archimedean valued field, a rigid subanalytic set is a Boolean combination of images of rigid analytic maps. We give an analytic quantifier elimination theorem for (complete) algebraically closed valued fields that is independent of the field; in particular, the analytic quantifier elimination is independent of the valued field’s characteristic...
متن کاملRigid Subanalytic Sets
Let K be an algebraically closed field endowed with a complete non-archimedean norm. Let f : Y → X be a map of K-affinoid varieties. In this paper we study the analytic structure of the image f(Y ) ⊂ X; such an image is a typical example of a subanalytic set. We show that the subanalytic sets are precisely the D-semianalytic sets, where D is the truncated division function first introduced by D...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 70 شماره
صفحات -
تاریخ انتشار 2005